1. Computer-aided verification : 2nd International Conference, CAV'90, New Brunswick, NJ, USA, June 18-21, 1990 : Proceedings
پدیدآورنده : E.M. Clarke, R.P. Kurshan )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design
رده :
QA
76
.
L28
Vol
.
531
